Eric Goubault: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Complex Systems Design & Management ||

Fanmuy, Gauthier, Goubault, Eric, Krob, Daniel, Stephan, François

Year:

2017

Language:

english

File:

PDF, 8.90 MB

english, 2017

2

Complex Systems Design & Management || MBSE, PLM, MIP and Robust Optimization for System of Systems Management, Application to SCCOA French Air Defense Program

Fanmuy, Gauthier, Goubault, Eric, Krob, Daniel, Stephan, François

Year:

2017

Language:

english

File:

PDF, 432 KB

english, 2017

3

Complex Systems Design & Management || Prerequisites for the Modelling and Analysis of a Product Development Process Using Network Theory

Fanmuy, Gauthier, Goubault, Eric, Krob, Daniel, Stephan, François

Year:

2017

Language:

english

File:

PDF, 41 KB

english, 2017

4

Future Path-components in Directed Topology

Eric Goubault, Emmanuel Haucourt, Sanjeevi Krishnan

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 614 KB

english, 2010

5

Foreword

Georgios Fainekos, Eric Goubault, Sylvie Putot, Stefan Ratschan

Journal:

Mathematics in Computer Science

Year:

2011

Language:

english

File:

PDF, 105 KB

english, 2011

6

[ACM Press the 17th international conference - Berlin, Germany (2014.04.15-2014.04.17)] Proceedings of the 17th international conference on Hybrid systems: computation and control - HSCC '14 - Inner approximated reachability analysis

Goubault, Eric, Mullier, Olivier, Putot, Sylvie, Kieffer, Michel

Year:

2014

Language:

english

File:

PDF, 703 KB

english, 2014

7

A Geometric View of Partial Order Reduction

Goubault, Eric, Heindel, Tobias, Mimram, Samuel

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2013

Language:

english

File:

PDF, 339 KB

english, 2013

8

Computing the Vertices of Tropical Polyhedra Using Directed Hypergraphs

Xavier Allamigeon, Stéphane Gaubert, Éric Goubault

Journal:

Discrete & Computational Geometry

Year:

2013

Language:

english

File:

PDF, 820 KB

english, 2013

9

Directed Algebraic Topology and Concurrency ||

Fajstrup, Lisbeth, Goubault, Eric, Haucourt, Emmanuel, Mimram, Samuel, Raussen, Martin

Year:

2016

Language:

english

File:

PDF, 6.21 MB

english, 2016

10

Complex Systems Design & Management || Defining a Distributed Architecture for Smart Energy Aware Systems

Fanmuy, Gauthier, Goubault, Eric, Krob, Daniel, Stephan, François

Year:

2017

Language:

english

File:

PDF, 271 KB

english, 2017

11

Does Host Value Influence Female Aggressiveness, Contest Outcome and Fitness Gain in Parasitoids?

Marlene Goubault, Anne Marie Cortesero, Denis Poinsot, Eric Wajnberg, Guy Boivin

Journal:

Year:

2007

Language:

english

File:

PDF, 563 KB

english, 2007

12

[IEEE 2014 American Control Conference - ACC 2014 - Portland, OR, USA (2014.6.4-2014.6.6)] 2014 American Control Conference - Finding non-polynomial positive invariants and lyapunov functions for polynomial systems through Darboux polynomials

Goubault, Eric, Jourdan, Jacques-Henri, Putot, Sylvie, Sankaranarayanan, Sriram

Year:

2014

Language:

english

File:

PDF, 306 KB

english, 2014

13

Preface: Volume 52, Issue 2

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 38 KB

english, 2002

14

Robust under-approximations and application to reachability of non-linear control systems with disturbances

Goubault, Eric, Putot, Sylvie

Journal:

IEEE Control Systems Letters

Year:

2020

File:

PDF, 1.63 MB

2020

15

Parasitoids Flip a Coin before Deciding to Superparasitize

Manuel Plantegenest, Yannick Outreman, Marlene Goubault and Eric Wajnberg

Journal:

Journal of Animal Ecology

Year:

2004

Language:

english

File:

PDF, 1011 KB

english, 2004

16

Parasitoids flip a coin before deciding to superparasitize

Manuel Plantegenest, Yannick Outreman, Marlene Goubault, Eric Wajnberg

Journal:

Journal of Animal Ecology

Year:

2004

Language:

english

File:

PDF, 129 KB

english, 2004

17

Complex Systems Design & Management || Systems Engineering Education for East Africa

Fanmuy, Gauthier, Goubault, Eric, Krob, Daniel, Stephan, François

Year:

2017

Language:

english

File:

PDF, 183 KB

english, 2017

18

Preface: Volume 81

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 37 KB

english, 2003

19

Algebraic topology and concurrency

Lisbeth Fajstrup, Martin Raußen, Eric Goubault

Journal:

Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 660 KB

english, 2006

20

Complex Systems Design & Management || Requirements Quality Analysis: A Successful Case Study in the Industry

Fanmuy, Gauthier, Goubault, Eric, Krob, Daniel, Stephan, François

Year:

2017

Language:

english

File:

PDF, 525 KB

english, 2017

21

Complex Systems Design & Management || Disruptive Innovation in Complex Systems

Fanmuy, Gauthier, Goubault, Eric, Krob, Daniel, Stephan, François

Year:

2017

Language:

english

File:

PDF, 628 KB

english, 2017

22

The effect of direct interspecific competition on patch exploitation strategies in parasitoid wasps

Mohamad, Rihab, Wajnberg, Eric, Monge, Jean-Paul, Goubault, Marlène

Journal:

Year:

2015

Language:

english

File:

PDF, 569 KB

english, 2015

23

Iterated Chromatic Subdivisions are Collapsible

Goubault, Éric, Mimram, Samuel, Tasson, Christine

Journal:

Applied Categorical Structures

Year:

2015

Language:

english

File:

PDF, 5.10 MB

english, 2015

24

[ACM Press the 1995 ACM SIGPLAN symposium - La Jolla, California, United States (1995.06.21-1995.06.23)] Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '95 - Schedulers as abstract interpretations of higher-dimensional automata

Year:

1995

Language:

english

File:

PDF, 1.28 MB

english, 1995

25

Complex Systems Design & Management || Validation of Industrial Cyber-Physical Systems: An Application to HVAC Systems

Fanmuy, Gauthier, Goubault, Eric, Krob, Daniel, Stephan, François

Year:

2017

Language:

english

File:

PDF, 399 KB

english, 2017

26

A generalization of p-boxes to affine arithmetic

Olivier Bouissou, Eric Goubault, Jean Goubault-Larrecq, Sylvie Putot

Journal:

Year:

2012

Language:

english

File:

PDF, 374 KB

english, 2012

27

A Fast Method to Compute Disjunctive Quadratic Invariants of Numerical Programs

Allamigeon, Xavier, Gaubert, Stéphane, Goubault, Eric, Putot, Sylvie, Stott, Nikolas

Journal:

ACM Transactions on Embedded Computing Systems

Year:

2017

Language:

english

File:

PDF, 651 KB

english, 2017

28

Discrete Choice in the Presence of Numerical Uncertainties

Lohar, Debasmita, Darulova, Eva, Putot, Sylvie, Goubault, Eric

Journal:

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Year:

2018

File:

PDF, 11 KB

2018

29

Computing the smallest fixed point of order-preserving nonexpansive mappings arising in positive stochastic games and static analysis of programs

Adjé, Assalé, Gaubert, Stéphane, Goubault, Eric

Journal:

Journal of Mathematical Analysis and Applications

Year:

2014

Language:

english

File:

PDF, 394 KB

english, 2014

30

Abstract interpretation meets convex optimization

Thomas Martin Gawlitza, Helmut Seidl, Assalé Adjé, Stéphane Gaubert, Éric Goubault

Journal:

Journal of Symbolic Computation

Year:

2012

Language:

english

File:

PDF, 814 KB

english, 2012

31

Directed topological complexity

Goubault, Eric, Farber, Michael, Sagnier, Aurélien

Journal:

Journal of Applied and Computational Topology

Year:

2019

Language:

english

File:

PDF, 452 KB

english, 2019

32

Preface

Lisbeth Fajstrup, Eric Goubault, Martin Raussen

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2012

Language:

english

File:

PDF, 104 KB

english, 2012

33

A zonotopic framework for functional abstractions

Goubault, Eric, Putot, Sylvie

Journal:

Formal Methods in System Design

Year:

2015

Language:

english

File:

PDF, 1.48 MB

english, 2015

34

An Accurate Join for Zonotopes, Preserving Affine Input/Output Relations

Goubault, Eric, Le Gall, Tristan, Putot, Sylvie

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2012

Language:

english

File:

PDF, 246 KB

english, 2012

35

Preface

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 99 KB

english, 2009

36

Geometry and Topology in Concurrency theory: PennState, USA, August 21, 2000

Cousot Patrick, Goubault Eric, Gunawardena Jeremy, Herlihy Maurice, Raussen Martin, Sassone Vladimiro

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2000

File:

PDF, 56 KB

2000

37

Preface

Eric Goubault, Ulrich Fahrenberg

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 58 KB

english, 2004

38

Preface: Volume 39, Issue 2

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2000

Language:

english

File:

PDF, 61 KB

english, 2000

39

Editorial

Fainekos, Georgios, Goubault, Eric, Ivančić, Franjo, Sankaranarayanan, Sriram

Journal:

ACM Transactions on Embedded Computing Systems

Year:

2012

Language:

english

File:

PDF, 35 KB

english, 2012

40

Foreword

Journal:

Mathematical Structures in Computer Science

Year:

2000

Language:

english

File:

PDF, 61 KB

english, 2000

41

Static Analysis by Abstract Interpretation: A Mathematical Programming Approach

Eric Goubault, Stéphane Le Roux, Jeremy Leconte, Leo Liberti, Fabrizio Marinelli

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 323 KB

english, 2010

42

Geometry and concurrency: a user's guide

Journal:

Mathematical Structures in Computer Science

Year:

2000

Language:

english

File:

PDF, 272 KB

english, 2000

43

Geometric and combinatorial views on asynchronous computability

Goubault, Éric, Mimram, Samuel, Tasson, Christine

Journal:

Distributed Computing

Year:

2018

Language:

english

File:

PDF, 1.18 MB

english, 2018

44

Formal Relationships Between Geometrical and Classical Models for Concurrency

Éric Goubault, Samuel Mimram

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2012

Language:

english

File:

PDF, 376 KB

english, 2012

45

Directed Homology Theories and Eilenberg-Steenrod Axioms

Dubut, Jérémy, Goubault, Eric, Goubault-Larrecq, Jean

Journal:

Applied Categorical Structures

Year:

2016

Language:

english

File:

PDF, 2.24 MB

english, 2016

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски